\begin{tabbing}
rv{-}identically{-}distributed($p$;$n$.$f$($n$);$i$.$X$($i$))
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$n$, $m$:$\mathbb{N}$.\+
\\[0ex]E($f$($n$);$X$($n$)) = E($f$($m$);$X$($m$))
\\[0ex]\& E($f$($n$);($x$.$x$ $\ast$ $x$) o $X$($n$)) = E($f$($m$);($x$.$x$ $\ast$ $x$) o $X$($m$))
\\[0ex]\& E($f$($n$);($x$.($x$ $\ast$ $x$) $\ast$ $x$) o $X$($n$)) = E($f$($m$);($x$.($x$ $\ast$ $x$) $\ast$ $x$) o $X$($m$))
\\[0ex]\& E($f$($n$);($x$.($x$ $\ast$ $x$) $\ast$ $x$ $\ast$ $x$) o $X$($n$)) = E($f$($m$);($x$.($x$ $\ast$ $x$) $\ast$ $x$ $\ast$ $x$) o $X$($m$))
\-
\end{tabbing}